English recursion in effective reasoning: translation to other languages